| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Compilerbau | Fach-/Modulprüfung | 6 | 463090 | ||
| Vorlesung | 460125 | Mo 14:30-16:00 AachenMünchener Halle (Aula) (1010|131) (×10) Mo 15:00-16:30 AH VI (2356|051) (×2) Fr 11:00-13:00 AH V (2356|050) (×1) Fr 12:30-14:00 Roter Hörsaal AM (Ro) (1420|002) (×11) | |||
| Übung | 458641 | Mi 14:30-16:00 AH II (2350|111) (×10) | |||
| Effiziente Algorithmen | Fach-/Modulprüfung | 6 | 462709 | ||
| Vorlesung | 467473 | Di 14:30-16:00 AH V (2356|050) (×10) Do 12:30-14:00 AH V (2356|050) (×8) | |||
| Tutorium | 467474 | Mo 14:30-16:00 Seminarraum i1, Raum 4017 (2353|017) (×14) Di 12:30-14:00 5054 (2356|054) (×14) Mi 12:30-14:00 Seminarraum i1, Raum 4017 (2353|017) (×13) Mi 14:30-16:00 5052 (2356|052) (×15) Mi 14:30-16:00 Seminarraum i1, Raum 4017 (2353|017) (×1) Do 10:30-12:00 Seminarraum i1, Raum 4017 (2353|017) (×14) Fr 10:30-12:00 Seminarraum i1, Raum 4017 (2353|017) (×13) | |||
| Erfüllbarkeitsüberprüfung | Fach-/Modulprüfung | 6 | 463369 | ||
| Vorlesung/Übung | 459420 | Mo 10:30-12:00 AH I (2350|028) (×12) Mo 10:30-12:00 AH VI (2356|051) (×1) Di 08:30-10:00 AH I (2350|028) (×13) Mi 10:15-11:00 AH II (2350|111) (×12) | |||
| Komplexitätstheorie | Fach-/Modulprüfung | 6 | 463416 | ||
| Mathematische Logik II | Fach-/Modulprüfung | 6 | 463152 | ||
| Model Checking | Fach-/Modulprüfung | 6 | 465959 |